University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
661	MFPS[removed]On concurrent games with payoff Pierre Clairambault1,2 Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-08-20 11:09:38 Denotational semantics Logic in computer science Structure Determinacy Model theory Theoretical computer science Mathematics Mathematical logic
662	NEW-HOPLA a higher-order process language with name generation Glynn Winskel Computer Laboratory, University of Cambridge, UK Francesco Zappa Nardelli Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-06 09:33:37 Symbol Lambda calculus Proof theory Curry–Howard correspondence Valuation Mathematics Mathematical logic Applied mathematics
663	Empirical Exploitation of Live Virtual Machine Migration Jon Oberheide, Evan Cooke, Farnam Jahanian Electrical Engineering and Computer Science Department University of Michigan, Ann Arbor, MI 48109 {jonojono, emcooke, f Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2007-12-05 16:19:10 VMware Hardware virtualization University of Cambridge Computer Laboratory Xen Live migration VMware ESX X86 virtualization Hypervisor VM System software Software Virtual machines
664	Verified by Visa and MasterCard SecureCode: Or, How Not to Design Authentication (Short Paper) Steven J. Murdoch and Ross Anderson Computer Laboratory, University of Cambridge, UK http://www.cl.cam.ac.uk/users/{sjm217,rj Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-08-09 12:47:25 Business Credit cards 3-D Secure Credit card fraud Chip and PIN Chip Authentication Program EMV Card security code Secure Electronic Transaction Electronic commerce Merchant services Payment systems
665	Composing Strand Spaces Federico Crazzolara ? and Glynn Winskel Computer Laboratory University of Cambridge {fc232,gw104}@cl.cam.ac.uk Abstract. The strand space model for the analysis of security protocols Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-10-01 05:08:01 Differential topology Algebraic topology Fiber bundles Differential geometry Ample line bundle Topology Abstract algebra Vector bundles
666	CURRICULUM VITAE: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Work addresses: University of Cambridge Computer Laboratory William Gates Building Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-12-18 21:05:43 Mathematics Programming language semantics Aarhus University Coimbra Group Functionalist architecture Denotational semantics Computer science Semantics of programming languages Programming language theory Theoretical computer science Logic in computer science Mathematical logic
667	Chip and Spin Ross Anderson, Mike Bond, and Steven J. Murdoch Computer Laboratory, University of Cambridge, JJ Thompson Avenue, CB3 0FD, UK {Ross.Anderson, Mike.Bond, Steven.Murdoch}@cl.cam.ac.uk Add to Reading List Source URL: www.chipandspin.co.uk Language: English - Date: 2006-03-22 11:36:37 Technology EMV Chip and PIN Debit card Automated teller machine Interac Credit card fraud Credit card Smart card Payment systems Business Finance
668	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-09 12:22:14 Petri net Models of computation Symbol Model theory
669	A 3-Subset Meet-in-the-Middle Attack: Cryptanalysis of the Lightweight Block Cipher KTANTAN Andrey Bogdanov and Christian Rechberger Katholieke Universiteit Leuven, ESAT/COSIC and IBBT, Belgium [removed]u Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-02-14 05:03:01 University of Cambridge Computer Laboratory Key schedule Linear cryptanalysis Block cipher Grain ICE Advanced Encryption Standard Cipher Churning Cryptography Stream ciphers Tiny Encryption Algorithm
670	Microsoft Word - AERMOD_MCB10_table.docx Add to Reading List Source URL: www.epa.gov Language: English - Date: 2014-05-16 21:04:28 Procedural programming languages Subroutines Holism Source code University of Cambridge Computer Laboratory Fortran Parameter C ARM architecture Computing Software engineering Computer programming

UPDATE